type T1 = string;
type T2 = boolean;
type T3 = number;
type T4 = symbol;
type T5 = bigint;
type T6 = () => void;
type T7 = object;
type T8 = Record<string, never>;
